Search results

infrared-core

Fast light weight inferred static type checker in real time for JavaScript.

• infrared
• static
• type
• system
• typecheck
• check

nickzuber

published 0.0.1 • 6 years agopublished 0.0.1 6 years ago

ifc-ts

ifc-ts is a library that provides developers with an API for specifying information-flow security constraints in effectful code. These constraints are checked statically by TypeScript's type checker. Consequently, if an effectful computation, written

• ifc
• IFC
• information
• non-interference
• noninterference
• LIO
• flow
• control
• security
• ITU
• static
• analysis
• typescript

markido

published 1.0.6 • 10 months agopublished 1.0.6 10 months ago

validationator

A versitile data validator and static type checker. Creat complex models for deeply nested data structures. Create statically typed functions. Switch to bool mode of use in form validation, and much more.

• validation
• validate
• static
• type
• checker
• typed
• functions
• deep
• deeply
• nested
• data
• structures
• classes

ianlancaster

published 2.0.4 • 6 years agopublished 2.0.4 6 years ago